\begin{tabbing}
(\=(Auto$\cdot$) \+
\\[0ex]CollapseTHEN (((Unfold `p{-}compose` ( 0)$\cdot$) 
\\[0ex]CollapseTHEN ((((if (((first\_nat 
\-\\[0ex]2\=:n)) = 0) then (Repeat (MaAutoStep)) else (RepeatFor (first\_nat 2:n) (MaAutoStep)))$\cdot$) \+
\\[0ex]
\\[0ex]CollapseTHEN ((Try ((Complete (Auto$\cdot$))$\cdot$))$\cdot$))$\cdot$))$\cdot$))$\cdot$
\-
\end{tabbing}